Process calculi - PDFSEARCH.IO - Document Search Engine

Process calculi
Results: 158

#	Item
51	PDF Document Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:40:20 Theoretical computer science Process calculi -calculus Limit of a function Mathematics Cognitive science
52	Recursive Session Types Revisited Ornela Dardha∗ School of Computing Science, University of Glasgow, UK Session types model structured communication-based programming. In particular, binary Add to Reading List Source URL: www.dcs.gla.ac.uk Language: English - Date: 2014-07-25 10:12:01 Computability theory Process calculi Π-calculus Theory of computation Function Valuation Logarithm Μ operator Primitive recursive function Mathematics Theoretical computer science Functions and mappings
53	LIONS GATE ROAD RUNNERS 2015 MEMBERSHIP FORM Full Name Address Sex: Add to Reading List Source URL: www.lgrr.com Language: English - Date: 2014-12-19 13:37:59 Construction and Analysis of Distributed Processes Process calculi Synchronization Use of performance-enhancing drugs in sport Internet privacy Athletics Canada Athletics Privacy policy Computing Sports Concurrency Concurrency control
54	Reversible Session-Based Pi-CalculusI Francesco Tiezzia,∗, Nobuko Yoshidab a b University of Camerino, Italy Add to Reading List Source URL: mrg.doc.ic.ac.uk Language: English - Date: 2015-07-07 07:06:59 Models of computation Computer science Computability theory Mathematics Π-calculus Process calculus Actor model Reversible computing Lambda calculus Theoretical computer science Process calculi Applied mathematics
55	Kenneth J. Turner. Relating architecture and specification (pre-publication version). Computer Networks and ISDN Systems, 29(4):, MarchRelating Architecture and Specification Kenneth J. Turner Department of Add to Reading List Source URL: www.cs.stir.ac.uk Language: English - Date: 1999-06-01 18:25:54 Data ISO standards Concurrency Concurrency control Synchronization Language Of Temporal Ordering Specification Communications protocol RM-ODP Specification and Description Language Computing Process calculi Information
56	Progress as Compositional Lock-Freedom Marco Carbone 1 2 Add to Reading List Source URL: www.dcs.gla.ac.uk Language: English - Date: 2014-03-24 08:33:36 Deduction Lambda calculus Process calculi Π-calculus Function Valuation Fixed-point combinator Branch point Entailment Mathematics Logic Theoretical computer science
57	Typed Normal Form Bisimulation Soren B. Lassen1 and Paul Blain Levy2 1 2 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2007-12-20 12:37:08 Logic in computer science Lambda calculus Process calculi Π-calculus Bisimulation Combinatory logic Fixed-point combinator Sheaf Theoretical computer science Applied mathematics Mathematics
58	BRICS Basic Research in Computer Science BRICS DS-99-1 G. L. Cattani: Presheaf Models for Concurrency Add to Reading List Source URL: www.brics.dk Language: English - Date: 2001-09-10 12:36:02 Logic in computer science Process calculi Sheaf theory Π-calculus Programming language semantics Bisimulation Presheaf Coinduction Process calculus Mathematics Theoretical computer science Applied mathematics
59	Algebraic Process Calculi: The First Twenty Five Years and Beyond (Short Contributions) Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-08-01 03:00:23
60	¨ BRICS RSHuttel & Srba: Recursion vs. Replication in Simple Cryptographic Protocols BRICS Add to Reading List Source URL: www.brics.dk Language: English - Date: 2004-12-08 05:15:15 Theoretical computer science Process calculi Π-calculus Communications protocol Ping Computing System software Data